derivative of cot x proof